TSTP Solution File: SEV025^5 by SRASS---0.1